Prolegomena explained